منابع مشابه
On Pairs of Dual Consequence Operations
In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404,...
متن کاملOn the Dual Pairs
We describe the Howe quotient and theta lift for one-dimensional representations of the dual pairs (4)), by explicitly constructing the Howe quotients (of the representations in correspondence) using the Fock model.
متن کاملConsequence Operations Based on Hypergraph Satisfiability
Four consequence operators based on hypergraph satisfiability are defined. Their properties are explored and interconnections are displayed. Finally their relation to the case of the Classical Propositional Calculus is shown. 1. Preliminaries. Let us recall some definitions and facts which can also be found in Cowen [1,2] and Kolany [3]. A hypergraph is a structure G = (V, E), where V is a set ...
متن کاملSome Remarks on Axiomatizing Logical Consequence Operations
In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization.
متن کاملOn the Geometry of Dual Pairs
The set of dual pairs of any norm v equivalent to a Hilbert norm is shown to be naturally homeomorphic to the sphere of the Hilbert space. The proof begins with a known result showing the representability of every vector as a sum of two orthogonal vectors, one coming from a cone and the other from its dual (a generalization of representation by orthogonal subspaces). The key theorem, showing th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logica Universalis
سال: 2011
ISSN: 1661-8297,1661-8300
DOI: 10.1007/s11787-011-0030-9